IBM Research - PDFSEARCH.IO - Document Search Engine

IBM Research
Results: 1429

#	Item
501	ABHINAV NATIONAL MONTHLY REFEREED JOURNAL OF RESEARCH IN SCIENCE & TECHNOLOGY www.abhinavjournal.com “MAJOR FIVE” TRENDS OF INFORMATION Add to Reading List Source URL: www.abhinavjournal.com Language: English - Date: 2013-12-17 06:28:08 Cloud computing Consumerization Business intelligence Big data IBM cloud computing Mobile cloud computing Technology Computing Centralized computing
502	Experience with Model Checking Linearizability Martin Vechev, Eran Yahav, and Greta Yorsh IBM T.J. Watson Research Center Non-blocking concurrent algorithms offer significant performance advantages, but are very difficul Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2009-09-25 09:19:19 Transaction processing Memory management Linearizability Parallel computing Concurrent data structure Non-blocking algorithm Garbage collection Algorithm Sequential consistency Computing Concurrent computing Concurrency control
503	CHARITABLE GRANTS GUIDELINES & CRITERIA Quick Reference: ABOUT US ..................................................................................................................... 1 FUNDING CRITERIA – CHARITABLE GR Add to Reading List Source URL: www.openroadalliance.org Language: English - Date: 2014-10-10 12:51:10 Roadblock Research IBM Rational Unified Process Clinical trial Pharmaceutical sciences Software project management Science Bodmin
504	Diff-Index: Differentiated Index in Distributed Log-Structured Data Stores Wei Tan IBM T. J. Watson Research Center Yorktown Heights, NY 10598, Add to Reading List Source URL: researcher.ibm.com Language: English - Date: 2014-03-19 19:09:35 Database theory Cross-platform software Relational database management systems Extensible Storage Engine Replication Database index Eventual consistency B-tree NoSQL Data management Information Database management systems
505	Effective Typestate Verification in the Presence of Aliasing STEPHEN J. FINK and ERAN YAHAV IBM T. J. Watson Research Center and NURIT DOR1 Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2010-01-27 15:57:10 Logic in computer science Formal methods Formal verification Pointer analysis Shape analysis Pointer The Verifier Abstract interpretation IP Theoretical computer science Applied mathematics Static program analysis
506	Hash Function Requirements for Schnorr Signatures Gregory Neven1,2 , Nigel P. Smart3 , and Bogdan Warinschi3 1 IBM Research – Zurich, Switzerland Add to Reading List Source URL: www.neven.org Language: English - Date: 2012-04-18 06:08:49 Forking lemma Random oracle Preimage attack Digital signature Collision resistance Elliptic Curve DSA Standard model MD5 Birthday attack Cryptography Cryptographic hash functions Schnorr signature
507	Automatic Verification of Determinism for Structured Parallel Programs Martin Vechev1 , Eran Yahav1 , Raghavan Raman2 , and Vivek Sarkar2 1 IBM T.J. Watson Research Center. Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-03-21 07:52:45 ALGOL 68 Parallel computing Schedule Programming language theory Computing Software engineering
508	High Performance Dynamic Lock-Free Hash Tables and List-Based Sets Maged M. Michael IBM Thomas J. Watson Research Center P.O. Box 218 Yorktown Heights NYUSA Add to Reading List Source URL: www.research.ibm.com Language: English - Date: 2004-08-02 14:09:15 Computer programming Linked list Hash table Trie Mutual exclusion Non-blocking algorithm Compare-and-swap Software transactional memory Tree traversal Concurrency control Computing Data management
509	Inferring Synchronization under Limited Observability Martin Vechev, Eran Yahav, and Greta Yorsh IBM T.J. Watson Research Center Abstract. This paper addresses the problem of automatically inferring synchronization for c Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2009-03-28 14:04:36 Automata theory Transition Observability Models of computation
510	Why is Markup Still Important after 30 years and Will it Still be Important in Another 30 ? Sharon Adler IBM Research Add to Reading List Source URL: archive.xmlprague.cz Language: English - Date: 2010-04-12 17:36:15 ISO standards Computer file formats Standard Generalized Markup Language XML SoftQuad Software Balisage HyTime Typesetting HTML Computing Markup languages Technical communication

UPDATE